Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use codeQL.runningQueries.numberOfThreads to run interpretation #771

Merged
merged 1 commit into from
Mar 2, 2021

Conversation

aeisenberg
Copy link
Contributor

@aeisenberg aeisenberg commented Mar 2, 2021

When running codeql bqrs interpret, ensure the
codeQL.runningQueries.numberOfThreads setting is respected.

Fixes #764

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [n/a] @github/docs-content-dsp has been cc'd in all issues for UI or other user-facing changes made by this pull request.

@aeisenberg aeisenberg force-pushed the aeisenberg/use-threads branch 2 times, most recently from 0e6a942 to 7f0ec81 Compare March 2, 2021 21:22
@@ -2,6 +2,7 @@

## [UNRELEASED]

- Respect the `codeQL.runningQueries.numberOfThreads` setting when creating SARIF files during result interpretaion. [#771](https://github.com/github/vscode-codeql/pull/771)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- Respect the `codeQL.runningQueries.numberOfThreads` setting when creating SARIF files during result interpretaion. [#771](https://github.com/github/vscode-codeql/pull/771)
- Respect the `codeQL.runningQueries.numberOfThreads` setting when creating SARIF files during result interpretation. [#771](https://github.com/github/vscode-codeql/pull/771)

When running `codeql bqrs interpret`, ensure the
`codeQL.runningQueries.numberOfThreads` setting is respected.
@aeisenberg aeisenberg enabled auto-merge (rebase) March 2, 2021 21:41
@aeisenberg aeisenberg merged commit 9e68b4f into github:main Mar 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Multithreaded results interpretation
2 participants